# tools/redis_client.py

import redis

GLOBAL_VARS_KEY = 'global_vars'
GET_CASE_KEY = 'get_case'
redis_client = redis.StrictRedis(host='localhost', port=6379, db=0, decode_responses=True)
